Contextual dispatch for function specialization
نویسندگان
چکیده
منابع مشابه
Rules and Strategies for Contextual Specialization of Constraint Logic Programs
We address the problem of specializing a constraint logic program w.r.t. a constrained atom which speciies the context of use of the program. We follow an approach based on transformation rules and strategies. We introduce a novel transformation rule, called contextual constraint replacement, to be combined with variants of the traditional unfolding and folding rules. We present a general Parti...
متن کاملcient Dynamic Dispatch without Virtual Function Tables
SmallEi el is an Ei el compiler which uses a fast simple type inference mechanism to remove most late binding calls, replacing them by static bindings. Starting from the system's entry point, it compiles only statically living code, which saves compiling and then removing dead code. As the whole system is analyzed at compile time, multiple inheritance and genericity do not cause any overhead. S...
متن کاملFine-Grained Function Visibility for Multiple Dispatch with Multiple Inheritance
Object-oriented languages with multiple dispatch and multiple inheritance provide rich expressiveness but statically and modularly checking programs in such languages to guarantee that no ambiguous calls can occur at run time has been a difficult problem. We present a core calculus for Fortress, which provides various language features—notably functional methods and components— and solves the p...
متن کاملStage specialization for design and analysis of flotation circuits
This paper presents a new approach for flotation circuit design. Initially, it was proven numerically and analytically that in order to achieve the highest recovery in different circuit configurations, the best equipment must be placed at the beginning stage of the flotation circuits. The size of the entering particles and the types of streams including pulp and froth were considered as the bas...
متن کاملSpecialization Classes: An Object Framework for Specialization
Specialization is a growing area of interest in the operating systems community. OS components specialized to some particular circumstance can o er enhanced performance, functionality, or both. Complimentary partial evaluation techniques for automatically specializing programs are also reaching maturity. However, the problem of managing specialization remains: how to specify a specialization, w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3428288